421. Perturbation methods, bifurcation theory, and computer algebra
Author: Richard H. Rand, Dieter Armbruster
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Perturbation )Mathematics(,، Bifurcation theory,Data processing ، Algebra,، MACSYMA )Computer system(
Classification :
QA
871
.
R35
1987
422. Perturbation methods, bifurcation theory, and computer algebra
Author: / Richard H. Rand, Dieter Armbruster
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: Perturbation (Mathematics),Bifurcation theory,Algebra- Data processing,MACSYMA
Classification :
QA871
.
A3P4
1987
423. Perturbation methods, bifurcation theory, and computer algebra
Author: / Richard H. Rand, Dieter Armbruster
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: Perturbation (Mathematics),Bifurcation theory,Algebra - Data processing,MACSYMA (Computer system)
Classification :
QA1
.
A647
,
vol
.
65
424. Perturbation methods, bifurcation theory, and computer algebra /
Author: Richard H. Rand, Dieter Armbruster.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Macsyma.,MACSYMA (Système informatique),Macsyma.,Algebra-- Data processing.,Bifurcation theory.,Perturbation (Mathematics),Bifurcation theory.,Algebra-- Data processing.,MACSYMA [Computer system].,calcul formel.,MACSYMA.,méthode Lindstedt.,méthode perturbation.,perturbation.,théorie bifurcation.,transformation Lie.,Algèbre-- Informatique.,Bifurcation, Théorie de la.,Perturbation (Mathématiques),Algebra-- Data processing.,Anwendung,Bifurcation theory.,Bifurcation, théorie de la.,Calcul formel.,Computeralgebra,Computeralgebra.,Differentialgleichung,Differentialgleichung.,MACSYMA,MACSYMA (système d'ordinateur),Perturbation (Mathematics),Perturbation (mathématiques),Programm,Störungstheorie,Störungstheorie.,Verzweigung,Verzweigung Mathematik
Classification :
QA1
.
A647
vol
.
65
425. Polynomial algorithms in computer algebra
Author: F. Winkler
Library: (Kerman)
Subject: Data processing ، Algebra,، Computer algorithms
Classification :
QA
155
.
7
.
E4
W56
1996
426. Polynomial algorithms in computer algebra
Author: Franz Winkler
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing ، Algebra,، Computer algorithms
Classification :
QA
155
.
7
.
E4W5
427. Probabilistic Methods for Algorithmic Discrete Mathematics
Author: edited by Michel Habib, Colin McDiarmid, Jorge Ramirez-Alfonsin, Bruce Reed.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra-- Data processing.,Combinatorics.,Computer science.,Distribution (Probability theory).,Mathematics.
428. Proceedings of the 1991 International Symopsium on Symbolic and Algebraic Computation July 15-17 1991 Bonn Germeny
Author: / Stephen M. Watt, editor
Library: Central Library and Documents Center of Tehran University (Tehran)
Subject: Mathematics-- Data processing -- Congresses,Algebra --Data processing -- Congresses
Classification :
QA
76
.
95
.
I59
1991
429. Proceedings of the International Symposium on Symbolic and Algebraic Computation )ISSAC' 90( August 20-24, 1990, Tokyo, Japan
Author:
Library: (Kerman)
Subject: Congresses ، Mathematics - Data processing,Data processing - Congresses ، Algebra
Classification :
QA
76
.
95
.
I57
1990
430. Quantifier elimination and cylindrical algebraic decomposition
Author: B.F. Caviness, J.R. Johnson (eds.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing -- Congresses.,Algorithms -- Congresses.,Decomposition method -- Data processing -- Congresses.
431. Quantifier elimination and cylindrical algebraic decomposition
Author: B. F. Caviness and J. R. Johnson )eds.(
Library: (Kerman)
Subject: Data processing ، Algebra,، Decomposition method,، Algorithms
Classification :
QA
155
.
7
.
E4
Q36
1998
432. REDUCE : software for algebraic computation
Author: / Gerhard Rayna
Library: Central Library of Imam Khomeini International University of Qazvin (Qazvin)
Subject: REDUCE (Computer program),Algebra - Data processing
Classification :
QA155
.
7
.
E4R39
1987
433. Reduce: Software for Algebraic Computation
Author: / Gerhard Rayna
Library: Central library and document university of Kurdistan (Kurdistan)
Subject: REDUCE (Computer Program),Algebra - Data Processing
Classification :
QA76
.
6
.
R3R4
434. Reduce : software for algebraic computaion
Author: Gerhard Rayna; with a preface by Anthony C. Hearn, the RAND Corporation
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Data processing ، Algebra,، REDUCE
Classification :
QA
155
.
7
.
E4R39
1987
435. Relational and algebraic methods in computer science. 12th international conference, RAMICS 2011, Rotterdam, The Netherlands, May 30 - June 3, 2011. proceedings
Author: ]edited by[ Harrie de Swart
Library: Library of Razi Metallurgical Research Center (Tehran)
Subject: ، Software engineering,، Logic design,، Algebra -- Data processing,، Computer simulation,، Mathematical Logic and Formal Languages,، Symbolic and Algebraic Manipulation,، Logics and Meanings of Programs,، Simulation and Modeling,، Artificial Intelligence )incl. Robotics(,، Computer science -- Mathematics -- Congresses,، lgebraic logic -- Congresses,، Relation algebras -- Congresses,، RAMICS
Classification :
QA
76
.
9
.
R36
2011
436. Relativity and scientific computing: computer algebra, numerics, visualization
Author: F .W. Hehl, R .A. Puntigam, H. Ruder, eds
Library: Central Library and Information Center of Ferdowsi University of Mashhad (Khorasan Razavi)
Subject: Data processing ، Relativity )Physics(,Data processing ، Gravitation,Data processing ، Astrophysics,Data processing ، Algebra,، Visualization
Classification :
QC
173
.
55
.
R445
1996
437. Resolution Proof Systems :
Author: by Zbigniew Stachniak.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing.,Artificial intelligence.,Computer science.
Classification :
QA76
.
9
.
A96
B993
1996
438. Sensation and Measurement :
Author: edited by Howard R. Moskowitz, Bertram Scharf, Joseph C. Stevens.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Algebra -- Data processing.,Computer science.
Classification :
QP435
.
E358
1974
439. Solving least squares problems /
Author: Charles L. Lawson, Richard J. Hanson.
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Least squares-- Data processing.,Álgebra linear numérica.,Análise numérica.,ANALYSIS (MATHEMATICS),DATA PROCESSING.,Least squares-- Data processing.,Least squares-- Data processing.,LEAST SQUARES.,Methode der kleinsten Quadrate,Mínimos quadrados.,Moindres carrés-- Informatique.,Numerical analysis.,Probabilités.
Classification :
QA275
.
L38
1995
